منابع مشابه
Deduction as an Engineering Science
Although in recent years considerable progress has been made in the theory of automated theorem proving, the use of theorem provers in practice is still more or less restricted to a limited number of academic groups. A lot of effort has been spent in techniques to optimize the underlying logic engine by, for instance, developing efficient datastructures or controlling redundancy in large search...
متن کاملWardrop Equilibria
A common behavioral assumption in the study of transportation and telecommunication networks is that travelers or packets, respectively, choose routes that they perceive as being the shortest under the prevailing traffic conditions [1]. The situation resulting from these individual decisions is one in which drivers cannot reduce their journey times by unilaterally choosing another route, which ...
متن کاملAspects of Wardrop equilibria
Global communication networks like the Internet often lack a central authority that monitors and regulates network traffic. Mostly even cooperation among network users is not possible. Network users may behave selfishly according to their private interest without regard to the overall system performance. Such highly complex environments prompted a paradigm shift in computer science. Whereas tra...
متن کاملRobust Wardrop Equilibrium
Network games can be used to model competitive situations in which players select routes to maximize their utility. Common applications include traffic, telecommunication and distribution networks. Although traditional network models have assumed that utilities only depend on congestion, in most applications they also have an uncertain component. In this work, we extend Wardrop’s network game (...
متن کاملDistributed Learning of Wardrop Equilibria
We consider the problem of learning equilibria in a well known game theoretic traffic model due to Wardrop. We consider a distributed learning algorithm that we prove to converge to equilibria. The proof of convergence is based on a differential equation governing the global macroscopic evolution of the system, inferred from the local microscopic evolutions of agents. We prove that the differen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indian Journal of Ophthalmology
سال: 2021
ISSN: 0301-4738
DOI: 10.4103/ijo.ijo_3566_20